semantic authoring mathematics mex math tex mathtype latex learning bdsm education semantic libraries texas